Origami fold as algebraic graph rewriting
نویسندگان
چکیده
منابع مشابه
Unit Origami as Graph Theory
In the search for innovative material to teach high school mathematics students more and more teachers are turning to graph theory. This subject provides an absract, powerful and very modern way to model any type of network structure, from telephone networks to the human central nervous system. One of the most engaging ways to teach graph theory is with unit origami. In this paper we will discu...
متن کاملAlgebraic Graph Rewriting Using a Single Pushout
We show how graph rewriting can be described with a single pushout in a suitable category of graphs, and compare our result with the conventional approach which uses double pushouts.
متن کاملThe Contractum in Algebraic Graph Rewriting
Algebraic graph rewriting, which works by first removing the part of the graph to be regarded as garbage, and then gluing in the new part of the graph, is contrasted with term graph rewriting, which works by first gluing in the new part of the graph (the contractum) and performing redirections, and then removing garbage. It is shown that in the algebraic framework these two strategies can be re...
متن کاملModelling Software Evolution using Algebraic Graph Rewriting
We show how evolution requests can be formalized using algebraic graph rewriting. In particular, we present a way to convert the UML class diagrams to colored graphs. Since changes in software may effect the relation between the methods of classes, our colored graph representation also employs the relations in UML interaction diagrams. Then, we provide a set of algebraic graph rewrite rules tha...
متن کاملComputational Origami Construction as Constraint Solving and Rewriting
Computational origami is the computer assisted study of origami geometry. An origami is constructed by a finite sequence of fold steps, each consisting in folding along a fold line or unfolding. We base the fold methods on a formal system called Huzita’s axiom system, and show how folding an origami can be formulated by a conditional rewrite system. A rewriting sequence of origami structures is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2010
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2009.10.002